$\vdash$  $\forall$$A$, $B$:Type, $x$:($A$ + $B$). isl($x$) $\in$ $\mathbb{B}$